Nachum Dershowitz: cercare sul sito Z-Library

Donazioni 15 September, 2024 – 1 Ottobre, 2024 Sulla raccolta fondi

Accesso libero alla conoscenza e alla cultura.

Donazioni 15 September, 2024 – 1 Ottobre, 2024

Z-Library è una delle più grandi biblioteche online al mondo che contiene più di 17,000,000 libri e 84,837,000 articoli. Miriamo a rendere la letteratura accessibile a tutti. Oggi (15 September, 2024) abbiamo iniziato una raccolta fondi aggiuntiva per la manutenzione e lo sviluppo del progetto.

Anche i download ILLIMITATI (per 31 giorni dopo il giorno della donazione) sono disponibili per i contributori TUTTI che doneranno durante il periodo di raccolta fondi fino al 1 Ottobre, 2024.

Sulla raccolta fondiPer saperne di più

Fare una donazione

Libri (33)
Più popolari
Lista
- Lista
- Tabella

1

Calendrical Calculations: The Ultimate Edition

Calendrical Calculations: The Ultimate Edition

Cambridge University Press

Edward M. Reingold, Nachum Dershowitz

Anno:

2018

Lingua:

english

File:

PDF, 37.42 MB

5.0 / 4.0

english, 2018

2

Calendrical Calculations: The Ultimate Edition

Calendrical Calculations: The Ultimate Edition

Cambridge University Press

Edward M. Reingold, Nachum Dershowitz

Anno:

2018

Lingua:

english

File:

PDF, 34.69 MB

0 / 0

english, 2018

3

Calendrical Calculations

Calendrical Calculations

Cambridge University Press

Nachum Dershowitz, Edward M. Reingold

Anno:

2007

Lingua:

english

File:

DJVU, 4.24 MB

0 / 0

english, 2007

4

Pillars of Computer Science: Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday

Pillars of Computer Science: Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday

Springer-Verlag Berlin Heidelberg

Boris A. Trakhtenbrot (auth.), Arnon Avron, Nachum Dershowitz, Alexander Rabinovich (eds.)

Anno:

2008

Lingua:

english

File:

PDF, 6.76 MB

0 / 0

english, 2008

5

Calendrical calculations

Calendrical calculations

Cambridge University Press

Dershowitz, Nachum, Reingold, Edward M

Anno:

2007

Lingua:

english

File:

PDF, 18.47 MB

0 / 0

english, 2007

6

Logic for Programming, Artificial Intelligence, and Reasoning: 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007. Proceedings

Logic for Programming, Artificial Intelligence, and Reasoning: 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007. Proceedings

Springer-Verlag Berlin Heidelberg

Johann A. Makowsky (auth.), Nachum Dershowitz, Andrei Voronkov (eds.)

Anno:

2007

Lingua:

english

File:

PDF, 5.33 MB

0 / 0

english, 2007

7

Language, Culture, Computation. Computing - Theory and Technology: Essays Dedicated to Yaacov Choueka on the Occasion of His 75th Birthday, Part I

Language, Culture, Computation. Computing - Theory and Technology: Essays Dedicated to Yaacov Choueka on the Occasion of His 75th Birthday, Part I

Springer-Verlag Berlin Heidelberg

Nachum Dershowitz, Ephraim Nissan (eds.)

Anno:

2014

Lingua:

english

File:

PDF, 27.49 MB

0 / 0

english, 2014

8

Rewriting, Computation and Proof: Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday

Rewriting, Computation and Proof: Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday

Springer-Verlag Berlin Heidelberg

Nachum Dershowitz, Georg Moser (auth.), Hubert Comon-Lundh, Claude Kirchner, Hélène Kirchner (eds.)

Anno:

2007

Lingua:

english

File:

PDF, 3.45 MB

0 / 0

english, 2007

9

Fields of Logic and Computation: Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday

Fields of Logic and Computation: Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday

Springer-Verlag Berlin Heidelberg

Andreas Blass, Nachum Dershowitz, Wolfgang Reisig (auth.), Andreas Blass, Nachum Dershowitz, Wolfgang Reisig (eds.)

Anno:

2010

Lingua:

english

File:

PDF, 5.84 MB

0 / 0

english, 2010

10

Pillars of Computer Science: Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday

Pillars of Computer Science: Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday

Springer-Verlag Berlin Heidelberg

Boris A. Trakhtenbrot (auth.), Arnon Avron, Nachum Dershowitz, Alexander Rabinovich (eds.)

Anno:

2008

Lingua:

english

File:

PDF, 8.20 MB

0 / 0

english, 2008

11

Calendrical Calculations

Calendrical Calculations

Nachum Dershowitz, Edward M. Reingold

Anno:

2007

Lingua:

english

File:

DJVU, 4.06 MB

0 / 0

english, 2007

12

The Evolution of Programs

The Evolution of Programs

Nachum Dershowitz

Anno:

1983

Lingua:

english

File:

PDF, 8.81 MB

0 / 0

english, 1983

13

Logic Programming: 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004. Proceedings

Logic Programming: 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004. Proceedings

Springer-Verlag Berlin Heidelberg

Nachum Dershowitz (auth.), Bart Demoen, Vladimir Lifschitz (eds.)

Anno:

2004

Lingua:

english

File:

PDF, 8.59 MB

0 / 0

english, 2004

14

Unconventional Computation: 8th International Conference, UC 2009, Ponta Delgada, Portugal, September 7-11, 2009. Proceedings

Unconventional Computation: 8th International Conference, UC 2009, Ponta Delgada, Portugal, September 7-11, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

Edwin J. Beggs (auth.), Cristian S. Calude, José Félix Costa, Nachum Dershowitz, Elisabete Freire, Grzegorz Rozenberg (eds.)

Anno:

2009

Lingua:

english

File:

PDF, 7.02 MB

0 / 0

english, 2009

15

Unconventional Computation: 8th International Conference, UC 2009, Ponta Delgada, Portugal, September 7-11, 2009. Proceedings

Unconventional Computation: 8th International Conference, UC 2009, Ponta Delgada, Portugal, September 7-11, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

Edwin J. Beggs (auth.), Cristian S. Calude, José Félix Costa, Nachum Dershowitz, Elisabete Freire, Grzegorz Rozenberg (eds.)

Anno:

2009

Lingua:

english

File:

PDF, 7.21 MB

0 / 0

english, 2009

16

Rewriting, Computation and Proof: Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday

Rewriting, Computation and Proof: Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday

Springer-Verlag Berlin Heidelberg

Nachum Dershowitz, Georg Moser (auth.), Hubert Comon-Lundh, Claude Kirchner, Hélène Kirchner (eds.)

Anno:

2007

Lingua:

english

File:

PDF, 2.95 MB

0 / 0

english, 2007

17

Conditional and Typed Rewriting Systems: 4th International Workshop, CTRS-94 Jerusalem, Israel, July 13–15, 1994 Proceedings

Conditional and Typed Rewriting Systems: 4th International Workshop, CTRS-94 Jerusalem, Israel, July 13–15, 1994 Proceedings

Springer-Verlag Berlin Heidelberg

Leo Bachmair, Harald Ganzinger (auth.), Nachum Dershowitz, Naomi Lindenstrauss (eds.)

Anno:

1995

Lingua:

english

File:

DJVU, 3.52 MB

0 / 0

english, 1995

18

Logic Programming: 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004. Proceedings

Logic Programming: 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004. Proceedings

Springer-Verlag Berlin Heidelberg

Nachum Dershowitz (auth.), Bart Demoen, Vladimir Lifschitz (eds.)

Anno:

2004

Lingua:

english

File:

PDF, 5.21 MB

0 / 0

english, 2004

19

Unconventional Computation: 8th International Conference, UC 2009, Ponta Delgada, Portugal, September 7-11, 2009. Proceedings

Unconventional Computation: 8th International Conference, UC 2009, Ponta Delgada, Portugal, September 7-11, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

Edwin J. Beggs (auth.), Cristian S. Calude, José Félix Costa, Nachum Dershowitz, Elisabete Freire, Grzegorz Rozenberg (eds.)

Anno:

2009

Lingua:

english

File:

PDF, 8.84 MB

0 / 5.0

english, 2009

20

Pillars of Computer Science

Pillars of Computer Science

Arnon Avron Nachum Dershowitz Alexander Rabinovich (Eds.)

Anno:

2008

Lingua:

english

File:

PDF, 8.64 MB

0 / 0

english, 2008

21

Ancient Indian Leaps into Mathematics

Ancient Indian Leaps into Mathematics

Birkhäuser Basel

Nachum Dershowitz, Edward M. Reingold (auth.), B.S. Yadav, Man Mohan (eds.)

Anno:

2011

Lingua:

english

File:

PDF, 2.85 MB

0 / 0

english, 2011

22

Language, Culture, Computation. Computational Linguistics and Linguistics: Essays Dedicated to Yaacov Choueka on the Occasion of His 75th Birthday, Part III

Language, Culture, Computation. Computational Linguistics and Linguistics: Essays Dedicated to Yaacov Choueka on the Occasion of His 75th Birthday, Part III

Springer-Verlag Berlin Heidelberg

Nachum Dershowitz, Ephraim Nissan (eds.)

Anno:

2014

Lingua:

english

File:

PDF, 33.09 MB

0 / 0

english, 2014

23

Fields of Logic and Computation III: Essays Dedicated to Yuri Gurevich on the Occasion of His 80th Birthday

Fields of Logic and Computation III: Essays Dedicated to Yuri Gurevich on the Occasion of His 80th Birthday

Springer International Publishing;Springer

Andreas Blass, Patrick Cégielski, Nachum Dershowitz, Manfred Droste, Bernd Finkbeiner

Anno:

2020

Lingua:

english

File:

PDF, 10.09 MB

0 / 0

english, 2020

24

Ancient Indian Leaps into Mathematics

Ancient Indian Leaps into Mathematics

Birkhäuser Basel

Nachum Dershowitz, Edward M. Reingold (auth.), B.S. Yadav, Man Mohan (eds.)

Anno:

2011

Lingua:

english

File:

PDF, 3.49 MB

0 / 0

english, 2011

25

Ancient Indian Leaps into Mathematics

Ancient Indian Leaps into Mathematics

Birkhäuser Basel

Nachum Dershowitz, Edward M. Reingold (auth.), B.S. Yadav, Man Mohan (eds.)

Anno:

2011

Lingua:

english

File:

PDF, 3.42 MB

0 / 0

english, 2011

26

Rewriting Techniques and Applications: 3rd International Conference, RTA-89 Chapel Hill, North Carolina, USA April 3–5, 1989 Proceedings

Rewriting Techniques and Applications: 3rd International Conference, RTA-89 Chapel Hill, North Carolina, USA April 3–5, 1989 Proceedings

Springer-Verlag Berlin Heidelberg

Garrett Birkhoff (auth.), Nachum Dershowitz (eds.)

Anno:

1989

Lingua:

english

File:

PDF, 11.76 MB

0 / 0

english, 1989

27

Language, Culture, Computation. Computing of the Humanities, Law, and Narratives : Essays Dedicated to Yaacov Choueka on the Occasion of His 75th Birthday, Part II

Language, Culture, Computation. Computing of the Humanities, Law, and Narratives : Essays Dedicated to Yaacov Choueka on the Occasion of His 75th Birthday, Part II

Springer-Verlag Berlin Heidelberg

Nachum Dershowitz, Ephraim Nissan (eds.)

Anno:

2014

Lingua:

english

File:

PDF, 34.77 MB

0 / 0

english, 2014

28

Fields of Logic and Computation II: Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday

Fields of Logic and Computation II: Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday

Springer International Publishing

Lev D. Beklemishev, Andreas Blass, Nachum Dershowitz, Bernd Finkbeiner, Wolfram Schulte (eds.)

Anno:

2015

Lingua:

english

File:

PDF, 5.13 MB

0 / 0

english, 2015

29

Rewriting Techniques and Applications: 3rd International Conference, RTA-89 Chapel Hill, North Carolina, USA April 3–5, 1989 Proceedings

Rewriting Techniques and Applications: 3rd International Conference, RTA-89 Chapel Hill, North Carolina, USA April 3–5, 1989 Proceedings

Springer-Verlag Berlin Heidelberg

Garrett Birkhoff (auth.), Nachum Dershowitz (eds.)

Anno:

1989

Lingua:

english

File:

DJVU, 5.18 MB

0 / 0

english, 1989

30

Verification: Theory and Practice: Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday

Verification: Theory and Practice: Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday

Springer-Verlag Berlin Heidelberg

Nachum Dershowitz (auth.), Nachum Dershowitz (eds.)

Anno:

2004

Lingua:

english

File:

PDF, 2.23 MB

0 / 0

english, 2004

31

Conditional and Typed Rewriting Systems: 4th International Workshop, CTRS-94 Jerusalem, Israel, July 13–15, 1994 Proceedings

Conditional and Typed Rewriting Systems: 4th International Workshop, CTRS-94 Jerusalem, Israel, July 13–15, 1994 Proceedings

Springer-Verlag Berlin Heidelberg

Leo Bachmair, Harald Ganzinger (auth.), Nachum Dershowitz, Naomi Lindenstrauss (eds.)

Anno:

1995

Lingua:

english

File:

PDF, 5.98 MB

0 / 0

english, 1995

32

Verification: Theory and Practice: Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday

Verification: Theory and Practice: Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday

Springer-Verlag Berlin Heidelberg

Nachum Dershowitz (auth.), Nachum Dershowitz (eds.)

Anno:

2004

Lingua:

english

File:

PDF, 7.14 MB

0 / 0

english, 2004

33

Fields of Logic and Computation: Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday

Fields of Logic and Computation: Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday

Springer-Verlag Berlin Heidelberg

Andreas Blass, Nachum Dershowitz, Wolfgang Reisig (auth.), Andreas Blass, Nachum Dershowitz, Wolfgang Reisig (eds.)

Anno:

2010

Lingua:

english

File:

PDF, 5.96 MB

0 / 0

english, 2010